async solum leget

@ futura solum.leget<T> uses the same solum:lege route as sync solum.lege<T>.

Syntax: solum.leget<textus>(via)

Category

ad

Related

• ad
• solum
• futura
• sermo

Examples

examples/corpus/ad/async-solum-leget.fab (canonical · concept)

@ futura solum.leget<T> uses the same solum:lege route as sync solum.lege<T>.

# Async `ad` materialization through a standard-library proof pair.
#
# `solum.leget<T>` is the async-posture twin of `solum.lege<T>`. Both wrappers
# use the same host route; `@ futura` only changes the Rust materializer to the
# async receive path.

importa ex "norma:solum" privata solum

incipiet {
    fixum textus textPath ← "/tmp/faber-async-solum-leget.txt"
    solum.scribe(textPath, "async solum\n")

    fixum textus body ← cede solum.leget<textus>(textPath)
    adfirma body ≡ "async solum\n"
}